Retrospective Protection utilizing Binary Rewriting Sergej Proskurin, Fatih Kilic, Claudia Eckert1 Abstract: Buffer overflow vulnerabilities present a common threat. To encounter this issue, operating system support and

Source URL: www.sec.in.tum.de

• Computing
• Software
• Software bugs
• Programming language implementation
• Subroutines
• Portable Executable
• Position-independent code
• Object file
• Dynamic linker
• Stack buffer overflow
• Buffer overflow
• Return-to-libc attack

Ginkgo: Automated, Application-Driven Memory Overcommitment for Cloud Computing Abel Gordon, Michael R. Hines, Dilma da Silva, Muli Ben-Yehuda, Marcio Silva

Source URL: www.mulix.org

• Software
• System software
• Computing
• Computer networking
• Programming language implementation
• Virtual machine
• Hyper-V
• VMware ESXi
• VM
• Hypervisor
• Virtualization
• Xen

Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• Programming language theory
• Abstract interpretation
• Symbolic execution
• Program analysis
• KeY
• Disassembler
• Pattern matching
• Forth
• Symbolic
• Concolic testing

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Programming language theory
• Computing
• Parametric polymorphism
• Polymorphism
• Type system
• Covariance and contravariance
• HindleyMilner type system
• Type inference
• Subtyping
• System F

PL-Detective: A System for Teaching Programming Language Concepts∗ Amer Diwan William Waite

Source URL: www-plan.cs.colorado.edu

Charm++: on the road to Exascale Isaac Dooley University of Illinois at Urbana-Champaign The Charm++ parallel programming language and its adaptive runtime system is highly

Source URL: vecpar.fe.up.pt

The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010

Source URL: hasp.cs.pdx.edu

• Functional languages
• Functional programming
• Data types
• Type theory
• Procedural programming languages
• Haskell
• Syntax
• Monad
• Type system
• ML
• Programming language
• Type class

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Source URL: andmkent.com

• Software engineering
• Programming language theory
• Computing
• Procedural programming languages
• Functional languages
• Gradual typing
• Type system
• Programming language
• Racket
• ALGOL 68
• Io
• Association for Computing Machinery

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

The Graph Programming Language (GPL)    System Architect: Ephraim Donghyun Park (edp2114)  Verification & Validation: Peiqian Li (pl2521)  Manager & Language Guru: Qingxiang Jia (qj2125) 

Source URL: www1.cs.columbia.edu